Semantic formalization of interactive reasoning functionality
نویسنده
چکیده
In this paper a semantical framework is developed that provides a logical description of the functionality of an interactive reasoning process. The concept of functionality description defines the functionality of a reasoning process abstracting from specific inference relations or knowledge bases. Moreover, a domain description is formalised. A number of properties of a functionality description are identified, and related to properties of the domain. It is established under which conditions a functionality, can be implemented by an inference relation and a knowledge base.
منابع مشابه
A Foundation for Verified Software Development Systems
We describe a formalization of the meta-mathematics of programming in a higher-order calculus as a means to create verifiably correct implementations of program synthesis tools. Formal definitions and lemmata are used to raise the level of abstraction in formal reasoning to one comprehensible for programmers. Formal metatheorems make explicit the semantic knowledge contained in program derivati...
متن کاملUsing a PVS Embedding of CSP to Verify Authentication Protocols To be presented at TPHOLs Bell Labs Murray Hill New Jersey USA
This paper presents an application of PVS to the veri cation of security protocols The objective is to provide mechanical support for a veri cation method described in The PVS formalization consists of a semantic embedding of CSP and of a collection of theorems and proof rules for reasoning about authentication properties We present an application to the Needham Schroeder public key protocol
متن کاملDeclarative Functionality Descriptions of Interactive Reasoning Modules
In this paper a semantical framework is developed that provides a logical description of the functionality of an interactive reasoning module. In particular it can be made more transparent by this framework whether or not the conclusions that may be drawn by a reasoning module fit to the situation that is concerned (soundness and completeness). It will be established that, considered from the v...
متن کاملToward Formalization of Display Grammar for Interactive Media with Applications of Multimedia Information Extraction
Display grammar is a coupling of semantic and signal processing information for interactive multimedia. We propose a computational formalization binding media resource data and authoring information, including contextual data and interactive processing algorithms. We hypothesize display grammar provides a domain for mapping a range of applications of MMIE and media resource retrieval. We demons...
متن کاملKnowledge Representation and Query in Semantic MediaWiki: A Formal Study
Semantic wikis extend conventional wikis, which allow users to collaboratively generate data, through semantic web technologies. This allows wiki-based information to be annotated with metadata for facilitating automated search, querying, propagation and inference. Semantic wikis have recently attained wide adoption and, with this, formal research on their functionality (e.g., inference and con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Int. J. Intell. Syst.
دوره 17 شماره
صفحات -
تاریخ انتشار 2002